取 , 则 退化为一条直线, 此时对称的条件化为
取绝对值即得 , 其中 可为圆上任一有限点, 因此 与 到 上任一点的距离相等.
取虚部即得 , 因此 与 关于 异侧.
因此 与 与 垂直.
综上所述, 垂直平分 与 .